منابع مشابه
The ecce Partial Deduction
We present the fully automatic partial deduction system ecce, which can be used to specialise and optimise logic programs. We describe the underlying principles of ecce and illustrate some of the potential application areas. Interesting possibilites of cross-fertilisation with other elds such as reachability analysis of concurrent systems and inductive theorem proving are highlighted and substa...
متن کاملConjunctive Partial Deduction in Practice
Recently, partial deduction of logic programs has been extended to conceptually embed folding. To this end, partial deductions are no longer computed of single atoms, but rather of entire conjunctions; Hence the term “conjunctive partial deduction”. Conjunctive partial deduction aims at achieving unfold/fold-like program transformations such as tupling and deforestation within fully automated p...
متن کاملSonic Partial Deduction
The current state of the art for ensuring finite unfolding of logic programs consists of a number of online techniques where unfolding decisions are made at specialisation time. Introduction of a static termination analysis phase into a partial deduction algorithm permits unfolding decisions to be made offline, before the actual specialisation phase itself. This separation improves specialisati...
متن کاملAbstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
Conjunctive Partial Deduction using Regular Types and its Application to Model
متن کاملEcological Partial Deduction : Preserving Characteristic
A partial deduction strategy for logic programs usually uses an abstraction operation to guarantee the niteness of the set of atoms for which partial deductions are produced. Finding an abstraction operation which guarantees niteness and does not loose relevant information is a diicult problem. In earlier work Gallagher and Bruynooghe proposed to base the abstraction operation on characteristic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1993
ISSN: 0743-1066
DOI: 10.1016/0743-1066(93)90022-9